Selective X-Sensitive Analysis Guided by Impact Pre-Analysis
نویسندگان
چکیده
منابع مشابه
Pro le - Guided Context - Sensitive Program Analysis
Interprocedural analyses can be classiied as either context-insensitive, which tend to sacri-ce precision to gain eeciency, or context-sensitive, which are more precise but also more expensive. This paper discusses a proole-guided approach to interprocedural analysis that is context-sensitive, and hence more precise, for the \important" call sites for a function, and context-insensitive, and he...
متن کاملRegion-Based Selective Flow-Sensitive Pointer Analysis
We introduce a new region-based SELective Flow-Sensitive (Selfs) approach to inter-procedural pointer analysis for C that operates on the regions partitioned from a program. Flow-sensitivity is maintained between the regions but not inside, making traditional flow-insensitive and flow-sensitive as well as recent sparse flow-sensitive analyses all special instances of our Selfs framework. By sep...
متن کاملAnalysis of Beam - Sensitive Materials by Electrons and X - rays
Structural and chemical analysis by electron and x-ray beams is compared, with emphasis on organic specimens and the limitations to spatial resolution that are imposed by radiation damage.
متن کاملcontrastive analysis زبانهای فارسی و فرانسه
مقایسه دو زبان فارسی و فرانسه در سطح آوایی موضوع پژوهش حاضر است . این مقایسه نشان داده است که زبان فرانسه دارای 18 همخوان و 10 واکه دهانی و 3 واکه غنه است . واکه های دهانی با مشخصات پیشین ˆ پسین و بازی ˆ بستگی و واکه های غنه با مشخصات غنه، لبی و پیشین ˆ پسین طبقه بندی شده اند. در زبان فارسی و فرانسه دیفتانگ وجود ندارد، د حالیکه در فرانسه قدیم نه تنها واکه های دوتایی بلکه واکه های سه تایی نیز وج...
15 صفحه اولA Sensitive Liquid Chromatographic Method for the Analysis of Clarithromycin with Pre-Column Derivatization: Application to a Bioequivalence Study
Objective(s) A sensitive liquid chromatographic method for the analysis of clarithromycin- a macrolide antibiotic- in human serum, using pre-column derivatization with 9-fluorenylmethyl chloroformate (FMOC-Cl) is described. Materials and Methods The method involved liquid-liquid extraction of the drug and an internal standard (amantadine) followed by pre-column derivatization of the analytes...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Programming Languages and Systems
سال: 2016
ISSN: 0164-0925,1558-4593
DOI: 10.1145/2821504